rcvs($l$;before(${\it e'}$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$e$.haslnk($l$;$e$);before(${\it e'}$))